rules of implicit type conversion